Compositional high-level Petri net semantics of a parallel programming language with procedures
نویسندگان
چکیده
منابع مشابه
A Compositional Petri Net Semantics for SDL
In this paper a compositional high-level Petri net semantics for SDL (Speciication and Description Language) is presented. Emphasis is laid on the modelling of dynamic creation and termination of processes and of procedures { features, which are, for instance, essential for typical client-server systems. In a preliminary paper we have already shown that we are able to usèstate of the art' verii...
متن کاملA Protocol Specification Language with a High-Level Petri Net Semantics
This paper deals with two important aspects of communicat ion protocols namely specificationnand verification.We present a new variant of the Formal Description Techni que Estelle called SSL which has the semantics of a High-level Petri net model. Such a semantics enables to apply efficient proof methods in order to automatically verify communication prot ocol properties. SSL is mainly characte...
متن کاملPathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics
Understanding biological pathways is an important activity in the biological domain for drug development. Due to the parallelism and complexity inherent in pathways, computer models that can answer queries about pathways are needed. A researcher may ask ‘what-if’ questions comparing alternate scenarios, that require deeper understanding of the underlying model. In this paper, we present overvie...
متن کاملA Petri Net Semantics for B(PN)2 with Procedures
Veriication of parallel programs is a very important goal on the way to improve the reliability of software. The PEP tool, a Programming Environment based on Petri nets, allows veriication of parallel programs by partial order model checking based on a compositional denotational Petri net semantics. The language supported by the PEP tool covers block structuring, parallel and sequential composi...
متن کاملA Concurrent and Compositional Petri Net Semantics of Preemption
The aim of this paper is the introduction of preemption in a compositional model, called M-nets, which is based on Petri nets and hence provided with a concurrent semantics. We propose a way to model preemptible systems by extending the M-net model with priorities and the M-net algebra with a preemption operator. We show that these extensions can be seen as a high-level version of the well stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2001
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(01)00004-1